S |-es.P(es) == let n,L,R = S in nmr:Namer(n;L). R(nmr) ||- es.P(es) 

latex

---

clarification:

scheme-realizes{i:l}(S; es.P(es)) == let n,L,R = S in nmr:Namer(n;L). R(nmr) ||-{i} es.P(es) 

latex

Definitions	let x,y,z = a in t(x;y;z), x:A. B(x), Namer(n;Id_list), R ||- es.P(es), f(a)
FDL editor aliases	scheme-realizes